We show that the analysis of Keisler’s order can be localized to the study of φ-types. Specifically, if is a regular ultrafilter on λ such that and M is a model whose theory is countable, then is λ+-saturated iff it realizes all φ-types of size λ.

The relevance of the research is the intensity of noise emitted by lorries depends on the regime of the vehicle movement. One of the main negative factors caused by road vehicles is air pollution with exhaust gases. The article presents results for noise caused by lorries and gas usage while the vehicle is accelerating. The subject of the study is 4 lorries, and they also feature fuel recording systems which are less than 5 years old. Research methodology. The level of (...) noise emitted by heavyweight transport vehicles is measured according to Lithuanian standard LST ISO 1996-2:2008 requirements. During the tests the noise levels of L A,eq, L C,eq, L C,peak were measured. The tests were done 5 times each and the results are presented as arithmetical averages. Fuel consumption is registered in vehicle data registration system. The researched vehicles have to comply with environmental safety normative requirements; that the vehicle carbon monoxide, particulate matter, nitrogen oxides, unburned fuel and other hazardous substances contained in the combustion gases must not exceed the prescribed limits. The results of the experimental studies show that EURO6 lorries noise level is the lowest compared to the EURO4 and EURO5. After carrying out the analysis of the caused noise and gas usage, it was found that noise pollution and gas usage are higher without speed control system. The noise caused by lorries can be described in square polynomial which defines the noise inclination change while vehicle is accelerating. Scientific novelty of the research a complex research on noise and fuel consumption of lorries by using and not using speed control system. Research idea and problem is to achieve sustainable transport development objectives, in particular the reduction of greenhouse gas emissions under the Kyoto Protocol. It is very important to find ways to forecast and reduce transport noise pollution, while also reducing overall pollution, as well as mitigating the impact on the global climate., Conclusion – after conducting a lorry noise and fuel consumption analysis, it was determined that not using speed control system increases the noise and fuel consumption and if the system is used both of these factors decrease drastically. (shrink)

Provability, Computability and Reflection.

W. D. Furley, ‘Phaidra's pleasurable aidos ’, CQ 46, 84–90 is in part a response to my article, ‘ in Euripides’ Hippolytos 373–430: review and reinterpretation’, JHS 113, 45–59. Furley states that I suggest that aidos is ‘a euphemism for aidoia, the genitals, thus = sex’. This is an over-simplification. I argue that ‘in this context, is a euphemistic metonymy for ’; that ‘in terms of linguistic use, may be viewed as the natural reaction to the … just as is (...) to ; and hence that ‘the linguistic associations and semantic nuances of are sufficient to allow the word, in appropriate contexts, to mean “sex”’. (shrink)

In this paper, logics are conceived as two-sorted first-order structures, and we argue that this broad definition encompasses a wide class of logics with theoretical interest as well as interest from the point of view of applications. The language, concepts and methods of model theory can thus be used to describe the relationship between logics through morphisms of structures called transfers. This leads to a formal framework for studying several properties of abstract logics and their attributes such as consequence operator, (...) syntactical structure, and internal transformations. In particular, we treat Belief Revision Systems (BRS) as our main example, defining the Wide Belief Revision Systems (WBRS''s). This generalization allows us to define BRS''s in an abstract setting for classical and non-standard logics. We also show how the concept of translation between logics can be obtained as a particular case of transfers. (shrink)